Timed protocol analysis of interconnected mobile IoT devices

Abstract With the emergence of Internet Things (IoT), application developers can rely on a variety protocols and Application Programming Interfaces (APIs) to support data exchange between IoT devices. However, this may result in highly heterogeneous interactions terms both functional non-functional semantics. To map semantics, middleware connectors be utilized interconnect devices via bridging mechanisms. In paper, we make use Data eXchange (DeX) connector model that enables interoperability among DeX interactions, including synchronous, asynchronous streaming, generic post get primitives represent device behaviors with varying space/time coupling. Nevertheless, time semantics such as availability/validity, intermittent connectivity processing time, severely affect response times success rates interactions. We introduce timing parameters for enhance API. The new API mapping By precisely studying these using timed automata models, verify conditions successful connectors. Furthermore, statistically analyze through simulations effect ensure higher probabilities Simulation experiments are compared run Mediators (DeXM) framework evaluate accuracy results. This work provide precise design information when setting order accurate runtime behavior.